Stichworte: systematic reductions